Usenix Security '23 - Security Analysis Of Mongodb Queryable Encryption

USENIX Security '23 - Security Analysis of MongoDB Queryable Encryption

USENIX Security '23 - Automated Analysis of Protocols that use Authenticated Encryption: How...

USENIX Security '23 - A Study of Multi-Factor and Risk-Based Authentication Availability

USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocol

USENIX Security '23 - A Two-Decade Retrospective Analysis of a University's Vulnerability to...

USENIX Security '23 - Framing Frames: Bypassing Wi-Fi Encryption by Manipulating Transmit Queues

USENIX Security '23 - Smart Learning to Find Dumb Contracts

USENIX Security '23 - Cipherfix: Mitigating Ciphertext Side-Channel Attacks in Software

USENIX Security '23 - CipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in...

USENIX Security '23 - How to Bind Anonymous Credentials to Humans

USENIX Security '23 - How fast do you heal? A taxonomy for post-compromise security in...

USENIX Security '23 - Three Lessons From Threema: Analysis of a Secure Messenger

USENIX Security '23 - Know Your Cybercriminal: Evaluating Attacker Preferences by Measuring...

USENIX Security '22 - How to Abuse and Fix Authenticated Encryption Without Key Commitment

USENIX Security '23 - Content-Type: multipart/oracle - Tapping into Format Oracles in Email...

USENIX Security '20 - Understanding security mistakes developers make: Qualitative analysis...

USENIX Security '23 - Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs